منابع مشابه
Actuality for Counterpart Theorists
The counterpart theorist has a problem: there is no obvious way to understand talk about actuality in terms of counterparts. Fara and Williamson have charged that this obstacle cannot be overcome. Here I defend the counterpart theorist by offering systematic interpretations of a quantified modal language that includes an actuality operator. Centrally, I disentangle the counterpart relation from...
متن کاملBirational Geometry for Number Theorists
When thinking about the course “birational geometry for number theorists” I so näıvely agreed to give at the Göttingen summer school, I could not avoid imagining the spirit of the late Serge Lang, not so quietly beseeching one to do things right, keeping the theorems functorial with respect to ideas, and definitions natural. But most important is the fundamental tenet of Diophantine geometry, f...
متن کاملGame Logic for Game Theorists
Game Logic (GL), introduced in [18], is examined from a game-theoretic perspective. A new semantics for GL is proposed in terms of untyped games which are closely related to extensive game forms of perfect information. An example is given of how GL can be used as a formal model of game situations, and some metatheoretic results are presented in the context of their game-theoretic relevance. 200...
متن کاملCentrum Voor Wiskunde En Informatica Game Logic for Game Theorists Game Logic for Game Theorists
Game Logic (GL), introduced in 18], is examined from a game-theoretic perspective. A new semantics for GL is proposed in terms of untyped games which are closely related to extensive game forms of perfect information. An example is given of how GL can be used as a formal model of game situations, and some metatheoretic results are presented in the context of their game-theoretic relevance. Note...
متن کاملTwenty-five questions for string theorists
In an effort to promote communication between the formal and phenomenological branches of the high-energy theory community, we provide a description of some important issues in supersymmetric and string phenomenology. We describe each within the context of string constructions, illustrating them with specific examples where applicable. Each topic culminates in a set of questions that we believe...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Progress of Theoretical Physics Supplement
سال: 1986
ISSN: 0375-9687
DOI: 10.1143/ptps.86.43